$\forall$$w$:World, $e$:E. first($e$) $\Rightarrow$ ($\forall$$t$:$\mathbb{N}$. $t$$<$time($e$) $\Rightarrow$ isnull(a(loc($e$);$t$)))